Computer Aided Verification by Unknown
Author:Unknown
Language: eng
Format: epub
ISBN: 9783030255404
Publisher: Springer International Publishing
25.
Miné, A.: The octagon abstract domain. In: Proceedings of the Eighth Working Conference on Reverse Engineering, WCRE, p. 310. IEEE Computer Society (2001). https://doi.org/10.1109/WCRE.2001.957836
26.
Osera, P., Zdancewic, S.: Type-and-example-directed program synthesis. In: Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI, pp. 619–630. ACM (2015). https://doi.org/10.1145/2737924.2738007
27.
Padhi, S., Millstein, T., Nori, A., Sharma, R.: Overfitting in Synthesis: Theory and Practice. CoRR abs/1905.07457 (2019). https://arxiv.org/pdf/1905.07457
Download
This site does not store any files on its server. We only index and link to content provided by other sites. Please contact the content providers to delete copyright contents if any and email us, we'll remove relevant links or contents immediately.
| Automotive | Engineering |
| Transportation |
Whiskies Galore by Ian Buxton(41885)
Introduction to Aircraft Design (Cambridge Aerospace Series) by John P. Fielding(33064)
Small Unmanned Fixed-wing Aircraft Design by Andrew J. Keane Andras Sobester James P. Scanlan & András Sóbester & James P. Scanlan(32744)
Craft Beer for the Homebrewer by Michael Agnew(18145)
Turbulence by E. J. Noyes(7942)
The Complete Stick Figure Physics Tutorials by Allen Sarah(7312)
Kaplan MCAT General Chemistry Review by Kaplan(6868)
The Thirst by Nesbo Jo(6832)
Bad Blood by John Carreyrou(6558)
Modelling of Convective Heat and Mass Transfer in Rotating Flows by Igor V. Shevchuk(6392)
Learning SQL by Alan Beaulieu(6213)
Weapons of Math Destruction by Cathy O'Neil(6151)
Man-made Catastrophes and Risk Information Concealment by Dmitry Chernov & Didier Sornette(5926)
Digital Minimalism by Cal Newport;(5667)
Life 3.0: Being Human in the Age of Artificial Intelligence by Tegmark Max(5478)
iGen by Jean M. Twenge(5367)
Secrets of Antigravity Propulsion: Tesla, UFOs, and Classified Aerospace Technology by Ph.D. Paul A. Laviolette(5311)
Design of Trajectory Optimization Approach for Space Maneuver Vehicle Skip Entry Problems by Runqi Chai & Al Savvaris & Antonios Tsourdos & Senchun Chai(5012)
Pale Blue Dot by Carl Sagan(4917)
